% Document.tex copyright 1992 Victor Eijkhout
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% D O C U M E N T   S T R U C T U R E %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\DefineTest:LocalReferences
\NewTrace:doc
% Start
% open external files and execute default commands
\newif\if@started
\def\Start{\@startedyes \the\start@commands
    \ifBasicIndentIsSet\else
       \Distance:basicindent=parindent \fi
    \set@level@indent}
\def\StartCommand#1{\adds@start@command{#1}}
% End 
% 1/ close any open groups and give warnings
% 2/ \vfil\eject the last page
% 3/ \immediate\close the .auxs file
% 4/ load the .aux for writing the external files
%    and testing changed references
\let\@end=\end 
\def\Stop{\Close@all@groups
    \the\stop@commands
    \vfil \penalty\slotpenalty 
    \ifnum\unknown@refs>\z@
      \message{-- There \ifnum\unknown@refs=\@ne was an \else
       were \number\unknown@refs\@space\fi
       unresolved reference\ifnum\unknown@refs>\@ne s\fi.}\fi
    \ifnum\duplicate@labels>\z@
      \message{-- There \ifnum\duplicate@labels=\@ne was an\else
       were \number\duplicate@labels\@space\fi
       duplicate label\ifnum\duplicate@labels>\@ne s\fi.}\fi
    \immediate@close@aux@file{aux}
    \ifWriteExtern \final@load@aux \fi
    \@end}
%%%%%%%%%%%% input other files
\newwrite\aux@file \newwrite\incaux@file
\let\ifWriteaux\iftrue
\def\aux@name{aux} \def\aux@extension{aux}
\newif\if@auxopen \newif\if@incauxopen
% the following line is in output.tex
%\add@mark@item{first@page}
% Input files are in a group, 
% they also set the IsFirstPage test
\def\InputFile:#1 {\begingroup \def\input@name{#1}
    \Tmessage[doc]{Input File: #1}
    \refresh@mark@item{first@page}{yes}
    \refresh@mark@item{first@page}{no}
    \ifLocalReferences
          \get@aux@file{#1}{incaux}{aux}\fi
    \input@file{#1}%
    \immediate@close@aux@file{incaux}
    \Close@all@groups
    \def\test@input@name{#1}\ifx\input@name\test@input@name\else
        \Wmessage{Input `#1' overbalanced}\fi
    \endgroup}
\def\xInputFile:#1 {\input@file{#1}}
\def\input@file#1{\input #1 \vfil\penalty\slotpenalty\par}
\let\input@name=\@empty
\let\test@input@name=\@empty
% Input of Lollipop files
\def\InputLollipop:#1 {\makeatletter\input#1\relax\makeatother}
%%%%%%%%%%%%%%%% External Communication
% List of files
% not including the .aux file
\newtoks\ext@files@list \ext@files@list={}
% I don't want to remember my own naming conventions.
\def\file@ext@name#1{#1@extension}
\def\cs@file@ext@name#1{\csname#1@extension\endcsname}
% Define External File
% #1 is name known to style definition,
% #2#3#4 is three-letter file extension in
% file system
% correspondence: \#1@extension = #2#3#4, \#2#3#4@name = #1
% user test \Write#1 to prevent overwriting
% internal test \if@#2#3#4open
% \newwrite\#2#3#4@file
\def\DefineExternalFile:#1=#2#3#4#5
   {\Tmessage[doc]{Define external file `#1' (ext=#2#3#4)}
    \csarg\newwrite{#2#3#4@file}
    \append@to@list{ext@files@list}{\\#2#3#4; }
    \csarg\newtoks{#1@local@defs}%constructed in \ExternalItem
    \csarg\gdef{\file@ext@name{#1}}{#2#3#4}
    \csarg\gdef{#2#3#4@name}{#1}
    \DefineTest:{Write#1}
    \global\csname Write#1yes\endcsname
    \csarg\newif{if@#2#3#4open}
%%%% Load
% Initial load of the auxiliary file
\def\initial@load@aux{\begingroup%why this group?
    \disable@external@write@command
    \Tmessage[doc]{Load initial aux file}
    \get@aux@file{\jobname}{aux}{aux}
    \endgroup
    \ifWriteExtern 
        \open@ext@file@for@output{\jobname}{aux}{aux} 
    \fi}
\DefineTest:WriteExtern \WriteExtern:yes
\ifini{\add@start@command{\initial@load@aux}}
% Load of external file
\def\LoadExternalFile:#1
   {\if\UndefinedCS{\file@ext@name{#1}}
          \Wmessage{LoadExternalFile: unknown external file `#1'}
    \else \begingroup 
          \Tmessage[doc]{Loading external file: #1}
          \WriteExtern:no %prevent trouble with undefined entries
          \csarg\the{#1@local@defs}
          \get@aux@file{\jobname}{\cs@file@ext@name{#1}}
                       {\cs@file@ext@name{#1}}
          \endgroup
    \fi}
% Basic load
\def\get@aux@file#1#2#3{
    \csarg\openin{#2@file} #1.#3
    \csarg\ifeof{#2@file} 
          \message{No aux file `\csname#2@name\endcsname'}
       \else \csarg\closein{#2@file} 
          \Tmessage[ref]{Inputting aux file <#2>: <#1.#3>}
          \Tmessage[ext]{Inputting aux file <#2>: <#1.#3>}
          {\makeatletter \input #1.#3 \makeatother}
       \fi}
% Open for output:
% initially used for the .aux file
% at the final load of the .aux file used to generate .toc
% et cetera
\def\open@ext@file@for@output#1#2#3{
    \csname ifWrite\csname #2@name\endcsname\endcsname
        \immediate\openout\csname#2@file\endcsname=#1.#3
        \global\csname @#2openyes\endcsname
        \immediate\write\csname#2@file\endcsname{\relax}
        \Tmessage[doc]{File '#2' (#3) open for output}
        \Tmessage[ext]{File '#2' (#3) open for output}
    \else
        \global\csname @#2openno\endcsname
        \Tmessage[doc]{File '#2' (#3) not open for output}
        \Tmessage[ext]{File '#2' (#3) not open for output}
    \fi}
\def\open@external@files@for@output{
    \def\protect{\noexpand\protect\noexpand}
    \def\\##1;{##1}\Tmessage[doc]{External files: \the\ext@files@list}
    \def\\##1;{\open@ext@file@for@output{\jobname}{##1}{##1}}
    \the\ext@files@list}
\newif\iflabels@changed
\def\final@load@aux{\labels@changedno
    \def\refer@label##1##2##3{\test@refer@label{##1}{##2}{##3}}
    \open@external@files@for@output
    \install@external@write@command
    \Tmessage[doc]{Load aux for label testing and ext file generation}
    \Tmessage[ext]{Load aux for label testing and ext file generation}
    \makeatletter \input \jobname.aux 
    \end@write@extern
    \iflabels@changed \Wmessage{Labels have changed. Rerun!} \fi
    \makeatother}
\def\end@write@extern{
    \def\\##1;{\immediate@close@aux@file{##1}}
    \the\ext@files@list}
\def\close@aux@file  #1{\csname if@#1open\endcsname
    \write\csname#1@file\endcsname{\relax}
    \closeout\csname#1@file\endcsname 
    \Tmessage[doc]{File '#1' closed}\fi}
\def\immediate@close@aux@file#1{\csname if@#1open\endcsname
    \immediate\write\csname#1@file\endcsname{\relax}
    \immediate\closeout\csname#1@file\endcsname
    \Tmessage[doc]{File '#1' immediately closed}\fi}
% Generate the extern call in the style definition
% this one is part of 'external:<file name>'
\def\generate@extern#1{\edef\cs@e
   {\nxp\@add@toks{\nxp\@extern
             {\CSname{\file@ext@name{#1}}}
             {\@name}
             {\ifhas@counter \CSname{\@name Counter}\fi}
%\counter@@repr{\@name}
                                 %{\nxp\the\counter@@name{\@name}}\fi}%
   }}\cs@e}
% call:
%  \@extern{extension}{object}{counter}\the\title@toks\e@extern
% to aux:
%  \write@to@external{extension}{object}{counter}{page}{tekst}\ew@extern
% to .extension file:
%  \object{counter}{page}tekst\par
% where \object is locally defined in the 'extension' file.
\def\ToExternalFile:#1=#2{%
    \edef\cs@e{\nxp\x@extern{\cs@file@ext@name{#1}}}%
    \cs@e{anon}{}{#2}\e@extern}
\def\@extern#1{\ifWriteExtern
    \xp\x@extern \else \xp\skip@extern \fi {#1}}
\def\skip@extern#1#2#3\e@extern
    {\Tmessage[ext]{Skipped `#2' for `#1'}}
\newtoks\ext@text@toks
\newtoks\ext@labl@toks
\newtoks\ext@page@toks
\noeol
\def\x@extern#1#2#3#4\e@extern
   {\begingroup\normalesc
     \def\label[##1]{}% if there is a label in the title: don't
     \def\protect{\noexpand\protect\noexpand}% protect from expansion
     \def\cprotect{\xp\string}
     \Tmessage[ext]{Write to aux `#2' for `\csname#1@name\endcsname'}
     \edef\cs@e{\write\aux@file{\string\write@to@external
            {#1}{#2}{#3}}}\cs@e
     \write\aux@file
          {{\counter@@repr{Page}{\csarg\number{\counter@name{Page}}}}
           \ignorespaces\string@um@up#4 \> }
     \write\aux@file{\string\ew@extern}
    \endgroup}
\normaleol
% string a word, delimited by a space,
% first see whether it is a group, recognized by the fact
% that there is another space in it.
\def\string@um@up#1 {\string@space@group#1 \>\@bean}
\def\string@space@group#1 #2#3\@bean
   {\ifx#2\> \string@word#1\@roy
    \else \string{\string@um@up#1 #2#3 \string}%
    \fi \@space\string@um@up}
% a word is delimited by \@roy; if the word is \> then this
% is the last word, and we should remove 
% a trailing \@roy plus the \@space\string@um@up tokens after the call,
% but also parts of the conditional after the call have to be removed:
% \expandafter \take@three \expandafter \@roy \else .. \fi \@space\string@..
% sick. very sick.
\def\string@word#1{\ifx#1\>\xp\expandafter\xp\take@three\xp\expandafter
    \else \ifx#1\@roy
          \else \string#1\ifcat\nxp#1\relax\@space\fi
                \xp\xp\xp\string@word
    \fi   \fi}
% an attempt to string up a title. 
% this covers for the case where there are groups,
% but it is still quite wrong if \else or so is in the title
\NewDummy{@roy}\NewDummy{@bean}\NewDummy{@rope}\NewDummy{@bear}
\NewDummy{@Rope}
% Enable/Disable communication to external files
% former during initial load of .aux file,
% latter during final load of .aux file
\def\disable@external@write@command
   {\def\write@to@external##1\ew@extern{}}
\disable@external@write@command %do this initially just to be sure
\def\install@external@write@command %grouping ok?
   {\def\write@to@external##1##2##3##4##5\ew@extern
       {\csname if@##1open\endcsname 
            \Tmessage[ext]{Write `##2' to `\csname##1@name\endcsname'}
            \ext@labl@toks{##3}
            \ext@page@toks{##4}
            \ext@text@toks{##5}
            \immediate\write\csname##1@file\endcsname
                 {\CSname{##2}{\the\ext@labl@toks}%
                  {\the\ext@page@toks}\the\ext@text@toks\string\par}
        \else
            \Tmessage[ext]{Skipped `##2' for `\csname##1@name\endcsname'}
        \fi}}
\endinput
92/11/18 \Start extended with start@commands and \basicindent
\comment
\def\string@um@up#1 {\string@these@up#1\@roy\string@um@up}
\def\string@these@up#1{\ifx#1\>\expandafter\take@two
    \else\ifx#1\@roy\@space
         \else\string@group@token#1\@rope\@Rope
              \xp\xp\xp\string@these@up\fi\fi}
\def\string@group@token#1#2#3\@Rope
   {\ifx#2\@rope \string@one{#1}%
    \else \string{\string@group#1#2#3\@Rope \string}%
    \fi}
\def\string@one#1{\string#1\ifcat\nxp#1\relax\@space\fi}
\def\string@group#1#2\@Rope
   {\ifx#1\@rope\xp\take@one
    \else\string@one#1\xp\string@group
    \fi #2\@Rope}
\endcomment